Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
891	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
892	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
893	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
894	Research internship Petri net unfolding of biological networks Topic: Logic and Verification Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Laurent Fribourg Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:18:54 Petri net Model checking Gene regulatory network Petri Actor model Computer science Computing Science Concurrency Networks Diagrams
895	PDF Document Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-18 15:36:22 Finite model theory Game theory Parity game Determinacy Vertex cover Structure End Mathematics Theoretical computer science Mathematical logic
896	PDF Document Add to Reading List Source URL: www.westendnh.org Language: English - Date: 2015-03-16 14:45:15 Employment Health Skill Behavior Medicine Logic model Case management Knowledge Skills and Abilities
897	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-27 09:01:46 Probability Probability theory Statistical models Statistical forecasting Probabilistic logic Graphical model Marginal distribution Bayesian inference Probability distribution Statistics Bayesian statistics Probability and statistics
898	PDF Document Add to Reading List Source URL: kogs-www.informatik.uni-hamburg.de Language: English - Date: 2009-07-20 09:31:04 EXPRESS Function Economic model Mathematical logic Mathematics Mereotopology Topology
899	PDF Document Add to Reading List Source URL: 66.165.155.81 Language: English - Date: 2011-02-11 11:11:43 Sociology Program evaluation Logic model Health promotion Food and Agriculture Organization Empowerment evaluation MEASURE Evaluation Evaluation methods Evaluation Health
900	PDF Document Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Model theory Philosophy of language Semantics Quantification First-order logic Skolem normal form Singular they Proposition Interpretation Logic Mathematical logic Predicate logic

UPDATE